alle{-}ge(${\it es}$;$e$;${\it e'}$.$P$(${\it e'}$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$${\it e'}$:es{-}E(${\it es}$). es{-}le(${\it es}$; $e$; ${\it e'}$) $\Rightarrow$ $P$(${\it e'}$)